Total Books: 1 - 1 /1
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Lire la suite
Total Books: 1 - 1 /1
